Classic set theory : a guided independent study / Derek Goldrei |
Autore | Goldrei, Derek |
Pubbl/distr/stampa | London : Chapman and Hall, 1996 |
Descrizione fisica | viii, 287 p. ; 25 cm. |
ISBN | 0412606100 |
Classificazione |
510.02
510.04 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000853469707536 |
Goldrei, Derek | ||
London : Chapman and Hall, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Propositional and predicate calculus : a model of argument / Derek Goldrei |
Autore | Goldrei, Derek |
Pubbl/distr/stampa | London, : Springer, 2005 |
Descrizione fisica | VIII, 315 p. ; 25 cm. |
Soggetto topico |
03B05 - Classical propositional logic [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
ISBN | 18-523-3921-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0060670 |
Goldrei, Derek | ||
London, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Propositional and predicate calculus : a model of argument / Derek Goldrei |
Autore | Goldrei, Derek |
Pubbl/distr/stampa | London, : Springer, 2005 |
Descrizione fisica | VIII, 315 p. ; 25 cm |
Soggetto topico |
03B05 - Classical propositional logic [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
ISBN | 18-523-3921-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0060670 |
Goldrei, Derek | ||
London, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|